Essence of Iceland

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Essence of JavaScript

We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. We explicate the desugaring process that turns JavaScript programs into ones in the core. We demonstrate faithfulness to JavaScript using real-world test suites. Finally, we illustrate utility by defining a security pr...

متن کامل

Wave Essence of Particles

We state several ideas based on the view-point of particle behaviour of matter to explain wave character of photon and elementary particles. By using Newton’s suggestion of light ray, we clarify integrally the behaviour of light “wave”. And “wave” character of particles is also explained by the view-point of particle.

متن کامل

Semantic Essence of AsmL

The Abstract State Machine Language, AsmL, is a novel executable specification language based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical data-structures, and is built around the notion of synchronous updates and finite choice. AsmL is fully integrated into the .NET framework and Microsoft development tools. In this paper, we explain the d...

متن کامل

The Essence of Multitasking

This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual rôle as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the...

متن کامل

Dynamics of K-essence

There are a number of mathematical theorems in the literature on the dynamics of cosmological models with accelerated expansion driven by a positive cosmological constant Λ or a nonlinear scalar field with potential V (quintessence) which do not assume homogeneity and isotropy from the beginning. The aim of this paper is to generalize these results to the case of k-essence models which are defi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Nature

سال: 1976

ISSN: 0028-0836,1476-4687

DOI: 10.1038/264815b0